dstype(${\it TypeNames}$; $d$; $a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1of($d$)($a$)